Unit propagation - PDFSEARCH.IO - Document Search Engine

Unit propagation
Results: 62

#	Item
11	Kernel Belief Propagation 1 Le Song,1 Arthur Gretton,1,2 Danny Bickson,1 Yucheng Low,1 Carlos Guestrin1 School of Computer Science, CMU; 2 Gatsby Computational Neuroscience Unit & MPI for Biological Cybernetics Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English - Date: 2011-05-12 15:30:09
12	On the Resiliency of Unit Propagation to Max-Resolution Add to Reading List Source URL: ijcai.org Language: English - Date: 2016-03-05 17:54:09
13	Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt Add to Reading List Source URL: www.loria.fr Language: English - Date: 2011-07-11 06:39:50 Mathematical logic Resolution Unit propagation Entailment Logic Automated theorem proving Rules of inference
14	Resolution versus Search: Two Strategies for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-01 13:42:40 Mathematics Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Conjunctive normal form Unit propagation Resolution Theoretical computer science Constraint programming Applied mathematics
15	D SHARP: Fast d-DNNF Compilation with sharpSAT Christian Muise1 , Sheila A. McIlraith1 , J. Christopher Beck2 , and Eric Hsu1 1 Department of Computer Science, University of Toronto, Toronto, Canada. {cjmuise, sheila, ei Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-03-14 09:53:05 Constraint programming Mathematics DPLL algorithm Knowledge compilation Connectivity Influence diagram Bayesian network Unit propagation Theoretical computer science Automated theorem proving Applied mathematics
16	Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-25 01:09:11 Model theory Propositional calculus Rules of inference Resolution First-order logic Interpretation Deduction theorem Inference Unit propagation Logic Mathematical logic Automated theorem proving
17	doi:j.ipl Add to Reading List Source URL: www.cc.ntut.edu.tw Language: English - Date: 2008-03-02 23:12:13 Automated theorem proving NP-complete problems Unit propagation 2-satisfiability Time complexity Variable MAX-3SAT (SAT ε-UNSAT) Theoretical computer science Mathematics Computational complexity theory
18	Automated Deduction by Theory Resolution Mark Stickel Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-04-12 01:51:24 Logic Unit propagation Resolution Mathematical logic Logic programming Theory Automated theorem proving Mathematics Science
19	The Phase Transition in Exact Cover Vamsi Kalapala∗ and Cristopher Moore∗,† {vamsi,moore}@cs.unm.edu, ∗ Department of Computer Science, University of New Mexico Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2008-10-23 11:39:06 Automated theorem proving NP-complete problems Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Resolution Unit propagation Constraint satisfaction Theoretical computer science Mathematics Applied mathematics
20	PHYSICAL REVIEW SPECIAL TOPICS - ACCELERATORS AND BEAMS 17, Time-dependent wave front propagation simulation of a hard x-ray split-and-delay unit: Towards a measurement of the temporal coherence properties Add to Reading List Source URL: pubdb.xfel.eu Language: English - Date: 2015-01-15 02:14:55 Quantum optics Medical equipment Coherence Free-electron laser Laser European x-ray free electron laser Michelson interferometer Wavefront Diffraction Physics Optics Wave mechanics